﻿//*** Guidance generated code ***//
using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;

using ProjectBase.Core;

using Survey.Common.Data.Services;
using Survey.Entity.Services;

namespace Survey.Common.Diagnostics
{
    [ContractClassFor(typeof(IAttachmentDao))]
    internal abstract class AttachmentDao : IAttachmentDao
    {
        public IEnumerable<Attachment> GetByArticle(Article article)
        {
            Contract.Requires(article.Is(), "parameter article cannot be null");
            throw new NotImplementedException();
        }
        public Attachment GetByName(string fileName, Article article)
        {
            Contract.Requires(article.Is(), "parameter article cannot be null");
            Contract.Requires(fileName.IsNotEmpty(), "parameter fileName cannot be null nor empty");
            throw new NotImplementedException();
        }

        public Attachment AddOrUpdate(Attachment entity)
        {
            Contract.Requires(entity.Is(), "parameter entity cannot be null");
            throw new NotImplementedException();
        }
        public void Delete(Attachment entity)
        {
            Contract.Requires(entity.Is(), "parameter entity cannot be null");
            throw new NotImplementedException();
        }
        public void ClearAttachments(Article article)
        {
            Contract.Requires(article.Is(), "parameter article cannot be null");
            throw new NotImplementedException();
        }
    }
}